Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
781	Proving Memory Separation in a Microkernel by Code Level Verification Holger Blasum and Sergey Tverdyshev Thorsten Bormer Christoph Baumann Karlsruhe Institute of Technology, SYSGO AG, Klein-Winternheim, Germany Add to Reading List Source URL: www-wjp.cs.uni-saarland.de Language: English - Date: 2012-10-16 07:23:41 Windows NT architecture Formal methods Memory management Separation kernel Formal verification Kernel Microkernel Object Manager C dynamic memory allocation Computer architecture System software Software
782	Brussels, 17 September[removed]IFORMAL MEETIG OF EU HEADS OF STATE OR GOVERMET BRUSSELS, 17 SEPTEMBER 2009 = AGREED LAGUAGE FOR THE PITTSBURGH G-20 SUMMIT = Add to Reading List Source URL: www.consilium.europa.eu Language: English - Date: 2009-09-17 16:32:14 International development International economics Climate change policy Environment United Nations Framework Convention on Climate Change International Monetary Fund Copenhagen Accord European Union Bretton Woods system Economics International relations United Nations
783	PDF Document Add to Reading List Source URL: europa.eu Language: English Science Open data Information privacy Internet privacy Geographic information system Big data Open Data in the United Kingdom Data mining Technology Data management Formal sciences
784	PDF Document Add to Reading List Source URL: www.eudat.eu Language: English - Date: 2014-05-05 05:30:01 Information Formal sciences Data sharing Environmental science Scientific method Scientific misconduct Geographic information system Data management plan Big data Technology Science Data management
785	PDF Document Add to Reading List Source URL: www.datasociety.net Language: English - Date: 2014-04-28 20:58:34 Information Business intelligence Data Data analysis Data mining Geographic information system Analytics Surveillance Metadata Formal sciences Data management Science
786	PDF Document Add to Reading List Source URL: www-03.ibm.com Language: English - Date: 2012-09-12 10:33:01 Ethology Formal sciences Information systems Knowledge engineering Analytics Business intelligence Cognitive science Decision support system Watson Decision theory Science Knowledge
787	DOC Document Add to Reading List Source URL: europa.eu Language: English Science Open data Information privacy Internet privacy Geographic information system Big data Open Data in the United Kingdom Data mining Technology Data management Formal sciences
788	PDF Document Add to Reading List Source URL: www.cnaa.md Language: English - Date: 2013-07-23 09:48:31 Formal languages Membrane computing Mathematics P system Logic in computer science Parallel computing Computational complexity theory Computability Distributed computing Models of computation Theoretical computer science Computing
789	PDF Document Add to Reading List Source URL: www.info-com.gr Language: English - Date: 2013-10-31 04:27:28 Formal sciences Emerging technologies Interoperability Cloud computing Big data Geographic information system EGovernment in Europe Technology Computing Telecommunications
790	White Paper The Benefits of Static Timing Analysis Based Memory Characterization September 2012 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:46 Integrated circuits Formal methods Signoff Dynamic random-access memory Static timing analysis Electronic design automation Synopsys SPICE System on a chip Electronic engineering Electronic design Electronics

UPDATE